]> dgit.raspbian.org Git - gnome-shell.git/commitdiff
ci: Install mutter again on coverity job
authorCarlos Garnacho <carlosg@gnome.org>
Thu, 16 Sep 2021 08:03:38 +0000 (10:03 +0200)
committerMarge Bot <marge-bot@gnome.org>
Fri, 8 Oct 2021 16:17:04 +0000 (16:17 +0000)
This job "needs" the build job and thus gets its artifacts, but
it will not inherit the environment where we already installed
Mutter in /usr. This apparently broke once there was a more
recent mutter-clutter .pc file to look up.

Install Mutter in /usr again in this job, so the new build for
coverity finds all dependencies.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1979>

.gitlab-ci.yml

index b12270835b49e0952c56cf9aa9d14a6f2bb3bae0..5ec1fbe2c2c2fc058ad7ec24c8b4b379b6368496 100644 (file)
@@ -228,7 +228,7 @@ test-coverity:
   stage: analyze
   allow_failure: true
   before_script:
-    - meson compile -C mutter/build
+    - meson install -C mutter/build
   script:
     - .gitlab-ci/download-coverity-tarball.sh
     - CC=clang meson coverity-build -Dman=false